Rus, Teodor : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (49)
Les plus populaires
Liste
- Liste
- Tableau

1

Algebraic processing of programming languages

Journal:

Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 3.08 MB

english, 1998

2

An algebraic approach to data organization

Teodor Rus, Ulrich Sinn

Journal:

BIT Numerical Mathematics

Année:

1974

Langue:

english

Fichier:

PDF, 1.23 MB

english, 1974

3

Algebraic tools for language processing

Teodor Rus, Tom Halverson

Journal:

Computer Languages

Année:

1994

Langue:

english

Fichier:

PDF, 1.92 MB

english, 1994

4

Using Model Checking in a Parallelizing Compiler

Rus, Teodor, van Wyk, Eric

Journal:

Parallel Processing Letters

Année:

1998

Langue:

english

Fichier:

PDF, 2.95 MB

english, 1998

5

Clinical, Pathological and Microbiological Evaluation of Diabetic Foot Syndrome

Uivaraseanu, Bogdan, Bungau, Simona, Tit, Delia Mirela, Fratila, Ovidiu, Rus, Marius, Maghiar, Teodor Andrei, Maghiar, Octavian, Pantis, Carmen, Vesa, Cosmin Mihai, Zaha, Dana Carmen

Journal:

Année:

2020

Fichier:

PDF, 332 KB

2020

6

Editorial

Journal:

Theoretical Computer Science

Année:

1990

Langue:

english

Fichier:

PDF, 334 KB

english, 1990

7

Editorial

Journal:

Theoretical Computer Science

Année:

1993

Langue:

english

Fichier:

PDF, 322 KB

english, 1993

8

Preface

Miquel Bertran, Teodor Rus

Journal:

Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 29 KB

english, 2001

9

A unified language processing methodology

Journal:

Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 368 KB

english, 2002

10

Preface

Cesare Tinelli, Teodor Rus

Journal:

Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 46 KB

english, 2003

11

Phrase parsers from multi-axiom grammars

Teodor Rus, James S. Jones

Journal:

Theoretical Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 2.26 MB

english, 1998

12

Using graph coloring in an algebraic compiler

Teodor Rus, Sriram Pemmaraju

Journal:

Acta Informatica

Année:

1997

Langue:

english

Fichier:

PDF, 231 KB

english, 1997

13

Generating Model Checkers from Algebraic Specifications

Teodor Rus, Eric Van Wyk, Tom Halverson

Journal:

Formal Methods in System Design

Année:

2002

Langue:

english

Fichier:

PDF, 298 KB

english, 2002

14

An algebraic model for programming languages

Journal:

Computer Languages

Année:

1987

Langue:

english

Fichier:

PDF, 1.64 MB

english, 1987

15

[Workshops in Computing] Algebraic Methodology and Software Technology (AMAST’93) || Relation Algebras for Reasoning about Time and Space

Nivat, Maurice, Rattray, Charles, Rus, Teodor, Scollo, Giuseppe

Année:

1994

Langue:

english

Fichier:

PDF, 2.03 MB

english, 1994

16

[Lecture Notes in Computer Science] Transformation-Based Reactive Systems Development Volume 1231 || PLC-automata: A new class of implementable real-time automata

Bertran, Miquel, Rus, Teodor

Année:

1997

Langue:

english

Fichier:

PDF, 748 KB

english, 1997

17

[IEEE 2006 International Conference on Software Engineering Advances (ICSEA'06) - Tahiti (2006.19.29-2006.19.29)] 2006 International Conference on Software Engineering Advances (ICSEA'06) - Application Driven Software Development

Rus, Teodor, Curtis, Donald

Année:

2006

Langue:

english

Fichier:

PDF, 289 KB

english, 2006

18

[IEEE 2008 IEEE International Conference on Electro/Information Technology (EIT 2008) - Ames, IA, USA (2008.05.18-2008.05.20)] 2008 IEEE International Conference on Electro/Information Technology - Application driven software for chemistry

Curtis, Donald Ephraim, Rus, Teodor, Jensen, Jan

Année:

2008

Langue:

english

Fichier:

PDF, 96 KB

english, 2008

19

[Lecture Notes in Computer Science] Transformation-Based Reactive Systems Development Volume 1231 || Llull as computer scientist or why Llull was one of us

Bertran, Miquel, Rus, Teodor

Année:

1997

Langue:

english

Fichier:

PDF, 423 KB

english, 1997

20

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 1816 || An ASM Semantics for UML Activity Diagrams

Année:

2000

Langue:

english

Fichier:

PDF, 287 KB

english, 2000

21

[ACM Press the 1986 ACM fourteenth annual conference - Cincinnati, Ohio, United States (1986..-..)] Proceedings of the 1986 ACM fourteenth annual conference on Computer science - CSC '86 - An algebraic approach for assembler construction (abstract)

Rus, Teodor, Hansen, Kurt

Année:

1986

Langue:

english

Fichier:

PDF, 73 KB

english, 1986

22

[AMAST Series in Computing] Theories and Experiences for Real-Time System Development Volume 2 || Real-time symbolic model checking for discrete time models

Rus, Teodor, Rattray, Charles

Année:

1995

Langue:

english

Fichier:

PDF, 8.02 MB

english, 1995

23

Computer-Based Problem Solving Process || Computation Activity and Its Management Tools

Année:

2015

Langue:

english

Fichier:

PDF, 254 KB

english, 2015

24

Computer-Based Problem Solving Process || Hardware System

Année:

2015

Langue:

english

Fichier:

PDF, 192 KB

english, 2015

25

Computer-Based Problem Solving Process || Batch Operating System

Année:

2015

Langue:

english

Fichier:

PDF, 127 KB

english, 2015

26

Computer-Based Problem Solving Process || I/O Device Management System

Année:

2015

Langue:

english

Fichier:

PDF, 183 KB

english, 2015

27

Computer-Based Problem Solving Process || BACK MATTER

Année:

2015

Langue:

english

Fichier:

PDF, 104 KB

english, 2015

28

Computer-Based Problem Solving Process || Memory Management System

Année:

2015

Langue:

english

Fichier:

PDF, 170 KB

english, 2015

29

Computer-Based Problem Solving Process || Real-Time Systems

Année:

2015

Langue:

english

Fichier:

PDF, 109 KB

english, 2015

30

Computer-Based Problem Solving Process || Common Systems in Software Development

Année:

2015

Langue:

english

Fichier:

PDF, 180 KB

english, 2015

31

Computer-Based Problem Solving Process || Using First Computers to Solve Problems

Année:

2015

Langue:

english

Fichier:

PDF, 126 KB

english, 2015

32

Computer-Based Problem Solving Process || Functional Behavior of Hardware Components

Année:

2015

Langue:

english

Fichier:

PDF, 174 KB

english, 2015

33

Computer-Based Problem Solving Process || Formal Systems

Année:

2015

Langue:

english

Fichier:

PDF, 180 KB

english, 2015

34

Computer-Based Problem Solving Process || Problem of Protection

Année:

2015

Langue:

english

Fichier:

PDF, 243 KB

english, 2015

35

Computer-Based Problem Solving Process || Software Tool Development Illustration

Année:

2015

Langue:

english

Fichier:

PDF, 300 KB

english, 2015

36

Computer-Based Problem Solving Process || Problem Solving by Software Tools

Année:

2015

Langue:

english

Fichier:

PDF, 106 KB

english, 2015

37

Computer-Based Problem Solving Process || FRONT MATTER

Année:

2015

Langue:

english

Fichier:

PDF, 1.07 MB

english, 2015

38

Computer-Based Problem Solving Process || Computer Process Manipulation by Programs

Année:

2015

Langue:

english

Fichier:

PDF, 178 KB

english, 2015

39

Computer-Based Problem Solving Process || Introduction to System Software

Année:

2015

Langue:

english

Fichier:

PDF, 139 KB

english, 2015

40

Computer-Based Problem Solving Process || Convenience of the BOS

Année:

2015

Langue:

english

Fichier:

PDF, 154 KB

english, 2015

41

Computer-Based Problem Solving Process || Web-Based Problem Solving Process

Année:

2015

Langue:

english

Fichier:

PDF, 128 KB

english, 2015

42

Computer-Based Problem Solving Process || Using Computers to Solve Problems

Année:

2015

Langue:

english

Fichier:

PDF, 195 KB

english, 2015

43

Computer-Based Problem Solving Process || Efficiency of Batch Operating Systems

Année:

2015

Langue:

english

Fichier:

PDF, 170 KB

english, 2015

44

Computer-Based Problem Solving Process || Ad Hoc Systems

Année:

2015

Langue:

english

Fichier:

PDF, 140 KB

english, 2015

45

Computer-Based Problem Solving Process || Software Tools for Correct Program Development

Année:

2015

Langue:

english

Fichier:

PDF, 167 KB

english, 2015

46

Computer-Based Problem Solving Process || Algorithmic Expression of a Hardware System

Année:

2015

Langue:

english

Fichier:

PDF, 54 KB

english, 2015

47

Computer-Based Problem Solving Process || Timing Program Execution

Année:

2015

Langue:

english

Fichier:

PDF, 111 KB

english, 2015

48

Modelling of an Improved Hybrid Cooler Used in Sustainable Buildings

Mare, Roxana, Hadarean, Adriana, Rus, Tania, Ilutiu-Varvara, Dana, Chira, Teodor

Journal:

IOP Conference Series Materials Science and Engineering

Année:

2019

Fichier:

PDF, 1.81 MB

2019

49

Clostridium difficile Infection Epidemiology over a Period of 8 YearsâA Single Centre Study

Negrut, Nicoleta, Nistor-Cseppento, Delia Carmen, Khan, Shamim Ahmad, Pantis, Carmen, Maghiar, Teodor Andrei, Maghiar, Octavian, Aleya, Selim, Rus, Marius, Tit, Delia Mirela, Aleya, Lotfi, Rahdar, Abb

Journal:

Année:

2020

Fichier:

PDF, 3.46 MB

2020